extract:

fetch:
	curl https://raw.githubusercontent.com/BNFC/bnfc/b7b19fba7d5fcf0d7bf4e7ac646fc8eaf7543ba8/examples/Calc.cf > fetched/Calc.cf
